181. Algebraic logic and universal algebra in computer science : Conference, Ames, Iowa, USA, June 1-4, 1988 : Proceedings
پدیدآورنده : C.H. Bergman, R.D. Maddux, D.L. Pigozzi )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Algebraic logic,Congresses ، Algebra, Universal
رده :
QA
76
.
L28
Vol
.
425
182. Algorithmic learning theory :
پدیدآورنده : Jyrki Kivinen [and others] (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer algorithms, Congresses,Machine learning, Congresses,Artificial intelligence-- Congresses,Computer algorithms-- Congresses
رده :
QA76
.
9
.
A43
A48
2011
183. Ambient communications and computer systems :
پدیدآورنده : Gregorio Martinez Perez, Shailesh Tiwari, Munesh C. Trivedi, Krishn K. Mishra, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Ambient intelligence, Congresses.,Computer networks, Congresses.,Telecommunication systems, Congresses.,Ambient intelligence.,Computer networks.,TECHNOLOGY & ENGINEERING-- Mechanical.,Telecommunication systems.
رده :
TK5101
.
A1
184. Analytical and stochastic modeling techniques and application
پدیدآورنده : / Khalid Al-Begain, Dieter Fiems, William J. Knottenbelt (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computer networks, Mathematical models, Congresses,Stochastic processes, Congresses,Stochastic models, Congresses,Electronic books., local
رده :
TK5105
.
5
.
I58
2010
185. Ancient Logic and Its Modern Interpretations :
پدیدآورنده : edited by John Corcoran.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Classical Philosophy.,Logic, Ancient -- Congresses.,Logic, Ancient.
رده :
BC28
.
E358
1974
186. Ancient logic and its modern interpretations. Proceedings of the Buffalo Symposium on Modernist Interpretations of Ancient Logic, 21 and 22 April, 1972
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Logic, Ancient-- Congresses
رده :
BC
28
.
B83
1972
187. Anthropology in Japan : a model for good practice in a global arena? / Joy Hendry -- Against "hybridity" as an analytical tool / Emiko Ohnuki-Tierney -- West/Japan dichotomy in the context of multiple dichotomies / Akitoshi Shimizu -- The relationship between anthropological theory, methods, and the study of Japanese society / Roger Goodman -- When Soto becomes Uchi : some thoughts on the anthropology of Japan / D.P Martinez -- Tinkering with the natur
پدیدآورنده : edited by Joy Hendry and Heung Wah Wong.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
188. Anybody /
پدیدآورنده : edited by Cynthia C. Davidson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Architecture and society-- History-- 20th century, Congresses.,Architecture, Modern-- 20th century-- Themes, motives, Congresses.,Body image, Congresses.,Antropomorfisme.,Architecture-- 20e siècle-- Thèmes, motifs-- Congrès.,Architecture and society.,Architecture-- Aspect social-- 20e siècle-- Congrès.,Architecture, Modern-- Themes, motives.,Architectuurtheorieën.,Arquitetura moderna.,Body image.,Image du corps-- Congrès.
رده :
NA680
.
A563
1997
189. Application and theory of Petri nets :
پدیدآورنده : edited by Claude Girault and Woflgang Reisig.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : fiabilité,Petri nets -- Congresses.,protocole accès.
190. Application and theory of Petri nets :
پدیدآورنده : edited by Claude Girault and Woflgang Reisig.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : fiabilité,Petri nets -- Congresses.,protocole accès.
رده :
QA267
.
E358
1982
191. Application of sheaves: proceedinngs of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-12, 1977
پدیدآورنده : edited by M. P. Fourman, C.J. Mulvey, and D.S. Scott
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Sheaves, theory of - Congresses
رده :
QA
3
.
L28
no
.
753
192. Applications of artificial intelligence: Expert systems, fuzzy logic and neural networks: Proceedings of the Workshopes of the Seventh Portuguese Conference on Artificial Intelligence, held in Funchal, Madeira Island, Portugal, October 1995, EPIA 95
پدیدآورنده : Editors: Nuno J. Mamede and Carlos Pinto-Ferreira
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Artificial intelligence - Congresses
رده :
Q
334
.
P678
1995
193. Applications of declarative programming and knowledge management :
پدیدآورنده : Salvador Abreu, Dietmar Seipel (Eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Declarative programming, Congresses,Knowledge management, Congresses
رده :
QA76
.
615
.
I58
2011
194. Applications of declarative programming and knowledge management : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004 : revised selected papers
پدیدآورنده : Dietmar Seipel... ]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Declarative programming,Congresses ، Knowledge management,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
3392
195. Applications of fuzzy sets theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Fuzzy logic ; Congresses. ; Fuzzy sets ; Congresses. ; Fuzzy systems ; Congresses. ; Soft computing ; Congresses. ;
196. Applications of sheaves : Proceedings of the Research Symposium on..., Durham, July 9-21, 1977
پدیدآورنده : edited by M. P. Fourman, C. J. Mulvey, and D. S. Scott
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Sheaf theory
رده :
QA
3
.
L28
Vol
.
753
197. Applications of sheaves: proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Sheaf theory
رده :
QA
3
.
L28
no
.
753
198. Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977
پدیدآورنده : edited by M. P. Fourman, C. J. Mulvey, and D. S. Scott
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Sheaf theory
رده :
QA
1
.
L4
v
.
753
199. Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977
پدیدآورنده : edited by M. P. Fourman, C. J. Mulvey, and D. S. Scott
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Sheaf theory
رده :
QA
612
.
36
.
R4
1977
200. Applications scientifiques de la logique mathematique
پدیدآورنده :
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)
موضوع : Logic, Symbolic and mathematical --Congresses
